Περίληψη: Ποια είναι η οριστική εφαρμογή αναφοράς ή αναφοράς για το ISA επιπέδου χρήστη RISC-V; Πλαίσιο: Ο ιστότοπος RISC-V διαθέτει το "The RISC-V Instruction Set Manual" το οποίο εξηγεί πολύ καλά τις οδηγίες σε επίπεδο χρήστη, αλλά δεν παρέχει ακριβείς προδιαγραφές για αυτές. Προσπαθώ να δημιουργήσω έναν προσομοιωτή ISA σε επίπεδο χρήστη τώρα και σκοπεύω να γράψω μια εφαρμογή FPGA αργότερα, οπότε η ακριβής συμπεριφορά είναι σημαντική για μένα. Μια εφαρμογή αναφοράς θα ήταν αρκετή, αλλά κατά προτίμηση θα πρέπει να είναι όσο το δυνατόν πιο απλή - δηλαδή θα προσπαθούσα να κατανοήσω μια υλοποίηση μέσω pipelined μόνο ως έσχατη λύση. Αυτό που είναι σημαντικό είναι να έχουμε κατανόηση του καθορισμένου ISA και όχι για μία εφαρμογή CPU ή υλοποίηση μεταγλωττιστή. Ένα παράδειγμα για να δείξω το πρόβλημά μου είναι η εντολή AUIPC: Η εξήγηση πεζογραφίας λέει ότι "Το AUIPC σχηματίζει μια μετατόπιση 32-bit από το U-άμεση 20-bit, συμπληρώνοντας τα χαμηλότερα 12 bit με μηδενικά, προσθέτει αυτό το όφσετ στον υπολογιστή, και στη συνέχεια τοποθετεί το αποτέλεσμα στο μητρώο rd. " Ήθελα να μάθω αν αυτό αναφέρεται στον παλιό ή νέο υπολογιστή, δηλαδή στη θέση της εντολής AUIPC ή στην επόμενη οδηγία. Κοίταξα την εφαρμογή "RISCV Angel", αλλά αυτό φαίνεται να αποκρύπτει τα χαμηλότερα κομμάτια του (παλιού) υπολογιστή - όχι μόνο του άμεσου - για το οποίο δεν μπορούσα να βρω κανένα λόγο στο spec, ούτε καν στο αλλάξτε το ιστορικό των προδιαγραφών (αφού ο Άγγελος είναι λίγο μεγαλύτερος). Αντί για απάντηση, έχω τώρα δύο ερωτήσεις σχετικά με το AUIPC. Πολλές άλλες οδηγίες μου δημιουργούν παρόμοια προβλήματα.
2021-01-16 08:15:45
AFAICT το εγχειρίδιο σετ οδηγιών RISC-V που αναφέρετε είναι το πιο κοντινό πράγμα που υπάρχει σε μια οριστική αναφορά. Εάν υπάρχουν πράγματα που είναι ασαφή ή λανθασμένα εκεί τότε θα μπορούσατε να ανοίξετε ζητήματα στον ιστότοπο Github όπου διατηρείται το έγγραφο: https://github.com/riscv/riscv-isa-manual
Όσον αφορά το AIUPC, η απάντηση υπονοείται, αλλά δεν αναφέρεται ρητά, από αυτήν την πρόταση στο κάτω μέρος της σελίδας 9 στο τρέχον εγχειρίδιο:
Υπάρχει ένας επιπλέον καταχωρητής ορατός από τον χρήστη: ο υπολογιστής μετρητή προγράμματος διατηρεί τη διεύθυνση της τρέχουσας εντολής.
Βάσει αυτής της δήλωσης θα περίμενα ότι η τιμή του υπολογιστή που βλέπει και χειρίζεται η οδηγία AIUPC είναι η διεύθυνση της ίδιας της εντολής AIUPC.
Αυτή η ερμηνεία υποστηρίζεται από τη συζήτηση της εντολής JALR:
Η έμμεση εντολή άλματος JALR (jump and link register) χρησιμοποιεί την κωδικοποίηση τύπου Ι. Η διεύθυνση προορισμού λαμβάνεται προσθέτοντας το 12-bit υπογεγραμμένο I-άμεσο στον καταχωρητή rs1 και, στη συνέχεια, ρυθμίζοντας το λιγότερο σημαντικό bit του αποτελέσματος στο μηδέν. Η διεύθυνση της εντολής που ακολουθεί το άλμα (pc + 4) γράφεται για την εγγραφή rd.
Δεδομένου ότι η διεύθυνση των παρακάτω εντολών εκφράζεται ως pc + 4, φαίνεται σαφές ότι η τιμή του υπολογιστή που είναι ορατή κατά την εκτέλεση του JALR είναι η διεύθυνση της ίδιας της εντολής JALR.
Το τελευταίο προσχέδιο του εγχειριδίου (στη διεύθυνση https://github.com/riscv/riscv-isa-manual/releases/download/draft-20190321-ba17106/riscv-spec.pdf) κάνει την κατάσταση ελαφρώς πιο ξεκάθαρη. Αντί αυτού στο τρέχον εγχειρίδιο:
Το AUIPC προσθέτει 12 μηδενικά bits χαμηλής τάξης στο U-άμεσο 20-bit, επεκτείνει το αποτέλεσμα σε 64 bits, στη συνέχεια το προσθέτει στον υπολογιστή και τοποθετεί το αποτέλεσμα στο register rd.
το τελευταίο προσχέδιο λέει:
Το AUIPC σχηματίζει μια μετατόπιση 32-bit από το U-άμεσο 20-bit, συμπληρώνοντας τα χαμηλότερα 12 bit με μηδενικά, προσθέτει αυτό το όφσετ στον υπολογιστή της εντολής AUIPC και στη συνέχεια τοποθετεί το αποτέλεσμα στον καταχωρητή rd.
|
Η απάντησή σου
StackExchange.ifUsing ("πρόγραμμα επεξεργασίας", συνάρτηση () {
StackExchange.using ("externalEditor", συνάρτηση () {
StackExchange.using ("snippets", function () {
StackExchange.snippets.init ();
});
});
}, "κώδικα-αποσπάσματα");
StackExchange.ready (λειτουργία () {
var channelOptions = {
ετικέτες: "" .split (""),
αναγνωριστικό: "1"
};
initTagRenderer ("". split (""), "" .split (""), channelOptions);
StackExchange.using ("externalEditor", συνάρτηση () {
// Πρέπει να ενεργοποιήσετε το πρόγραμμα επεξεργασίας μετά από αποσπάσματα, εάν είναι ενεργοποιημένα τα αποσπάσματα
εάν (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using ("snippets", function () {
createEditor ();
});
}
αλλιώς {
createEditor ();
}
});
συνάρτηση createEditor () {
StackExchange.prepareEditor ({
useStacksEditor: false,
Τύπος καρδιακού παλμού: «απάντηση»,
autoActivateHeartbeat: false,
convertImagesToLinks: αλήθεια,
noModals: αλήθεια,
showLowRepImageUploadWarning: αλήθεια,
φήμηToPostImages: 10,
bindNavPrevention: αλήθεια,
μετά την επιδιόρθωση: "",
imageUploader: {
brandingHtml: "Powered by \ u003ca href = \" https: //imgur.com/ \ "\ u003e \ u003csvg class = \" svg-icon \ "width = \" 50 \ "ύψος = \" 18 \ "viewBox = \ "0 0 50 18 \" fill = \ "none \" xmlns = \ "http: //www.w3.org/2000/svg \" \ u003e \ u003cpath d = \ "M46.1709 9.17788C46.1709 8.26454 46,2665 7,94324 47,1084 7.58816C47.4091 7,46349 47,7169 7,36433 48,0099 7.26993C48.9099 6,97997 49,672 6,73443 49,672 5.93063C49.672 5,22043 48,9832 4,61182 48,1414 4.61182C47.4335 4,61182 46,7256 4,91628 46,0943 5.50789C45.7307 4,9328 45,2525 4,66231 44,6595 4.66231C43.6264 4,66231 43,1481 5,28821 43.1481 6.59048V11.9512C43.1481 13.2535 43.6264 13.8962 44.6595 13.8962C45.6924 13.8962 46.1709 13.2535 46.1709 11.9512V9.17788Z \ "/ \ u003e \ u003cpath d = \" M32.492 10.1419414441441444144414441444144414441444144.444441444144414441444144414444144.444414441444144414444144.4444144 41.5985 12.6954 41.5985 10.1419V6.59049C41.5985 5.28821 41.1394 4.66232 40.1061 4.66232C39.0732 4.66232 38.5948 5.28821 38.5948 6.59049V9.60062C38.5948 10.8521 38.2696 11.5455 37.0451 11.44 521 35.4954 9.60062V6.59049C35.4954 5.28821 35.0173 4.66232 34.0034 4.66232C32.9703 4.66232 32.492 5.28821 32.492 6.59049V10.1419Z \ "/ \ u003e \ u003cpath fill-rule = \" evenodd \ "even-clip \ κανόνας \" = \ "M25.6622 17.6335C27.8049 17.6335 29.3739 16.9402 30.2537 15.6379C30.8468 14.7755 30.9615 13.5579 30.9615 11.9512V6.59049C30.9615 5.28821 30.4833 4.66231 29.4502 4.66231C28.9913 4.778 4.779.577 4.8238 4.779.577. .1369 4.56087 21.0134 6.57349 21.0134 9.27932C21.0134 11.9852 23.003 13.913 25.3754 13.913C26.5612 13.913 27.4607 13.4902 28.1109 12.6616C28.1109 12.7229 28.1161 12.7799 28.121 12.8346C28.125.132.131.231.131.131.131 15.2321 24.1352 14.9821 23.5661 14.7787C23.176 14.6393 22.8472 14.5218 22.5437 14.5218C21.7977 14.5218 21.2429 15.0123 21.2429 15.6887C21.2429 16.7375 22.9072 17.6335 25.6622 17.63357247.224.77.2249.2249.224.17244.2249.224.77.2249.224.77.2249.224.77.224.97.224.97.224.97.224.27.2249.2249 27.2119 7.09766 28.0918 7.94324 28.0918 9.27932C28.0918 10.6321 27.2311 11.511626.1024 11.5116C24.9737 11.5116 24.1317 10.6491 24.1317 9.27932Z \ "/ \ u003e \ u003cpath d = \" M16.8045 11.9512C16.8045 13.2535 17.2637 13.8962 18.2965 13.8962C19.3298 13.828V 11.80 19.80 19.80 19.80.28.88.880.88.88.88.880.88.88.88.88.880.88.88.880.88.88.88.88.88.88.88.880.88.88.880.88.880.88.880 16.4027 4.62866C15.1594 4.62866 14.279 4.98375 13.3609 5.88013C12.653 5.05154 11.6581 4.62866 10.3573 4.62866C9. 6.51203 13.8962C7.54479 13.8962 8.0232 13.2535 8.0232 11.9512V8.90741C8.0232 7. 9157 7.58817 14.3365 6.91179 15.4269 6.91179C16.4027 6,91179 16,8045 7,58817 16,8045 8.94108V11.9512Z \ "/ \ u003e \ u003cpath d = \" M3.31675 6.59049C3.31675 5,28821 2,83866 4,66232 1,82471 4.66232C0 .791758 4.66232 0.313354 5.28821 0.313354 6.59049V11.9512C0.313354 13.2535 0.791758 13.8962 1.82471 13.8962C2.85798 13.8962 3.31675 13.2535 3.31675 11.9512V6.59049Z \ "/ u003e \ u003.82012 1.98861C0 2,87869 0,822846 3,57676 1,87209 3.57676C2.90056 3,57676 3,7234 2,87869 3,7234 1.98861C3.7234 1,1159 2,90056 0,400291 1,87209 0.400291Z \ "γέμισμα = \" # 1BB76E \ «/ \ u003e \ u003C / s / u003e \ u003C / s ,
contentPolicyHtml: "Συνεισφορές χρηστών με άδεια βάσει \ u003ca href = \" https: //stackoverflow.com/help/licensing \ "\ u003ecc by-sa \ u003c / a \ u003e \ u003ca href = \" https://stackoverflow.com / νομικό / περιεχομένου-πολιτική \ "\ u003e (πολιτική περιεχομένου) \ u003C / a \ u003e",
allowUrls: αλήθεια
},
onDemand: αλήθεια,
discardSelector: ".discard-answer"
, ImmediatelyShowMarkdownHelp: αλήθεια, enableTables: αλήθεια, enableSnippets: αλήθεια
});
}
});
Σας ευχαριστούμε για τη συμβολή απάντηση σε υπερχείλιση στοίβας!
Παρακαλούμε βεβαιωθείτε ότι έχετε απαντήσει στην ερώτηση. Δώστε λεπτομέρειες και μοιραστείτε την έρευνά σας!
Αλλά αποφύγετε…
Ζητώντας βοήθεια, διευκρίνιση ή απάντηση σε άλλες απαντήσεις.
Κάνοντας καταστάσεων με βάση τον γνώμη? Δημιουργήστε αντίγραφα ασφαλείας με αναφορές ή προσωπική εμπειρία.
Για να μάθετε περισσότερα, δείτε τις συμβουλές μας για τη σύνταξη εξαιρετικών απαντήσεων.
σχέδιο σωθεί
Το πρόχειρο απορρίφθηκε
Εγγραφείτε ή συνδεθείτε
StackExchange.ready (λειτουργία () {
StackExchange.helpers.onClickDraftSave ('# login-link');
});
Εγγραφείτε χρησιμοποιώντας το Google
Εγγραφείτε μέσω Facebook
Εγγραφείτε χρησιμοποιώντας το email και τον κωδικό πρόσβασης
υποβάλλουν
Δημοσίευση ως επισκέπτης
Ονομα
ΗΛΕΚΤΡΟΝΙΚΗ ΔΙΕΥΘΥΝΣΗ
Απαιτείται, αλλά ποτέ δεν εμφανίζονται
StackExchange.ready (
λειτουργία () {
StackExchange.openid.initPostLogin (». Νέα-post-σύνδεσης, 'https% 3a% 2f% 2fstackoverflow.com% 2fquestions% 2f55314747% 2frisc-ν-χρήστη-επιπέδου αναφοράς-ή-αναφορά-υλοποίηση% 23new-απάντηση' «question_page»)?
}
);
Δημοσίευση ως επισκέπτης
Ονομα
ΗΛΕΚΤΡΟΝΙΚΗ ΔΙΕΥΘΥΝΣΗ
Απαιτείται, αλλά δεν εμφανίζεται ποτέ
Δημοσίευση απάντησή σας
Απορρίπτω
Κάνοντας κλικ στην επιλογή "Δημοσίευση της απάντησής σας", αποδέχεστε τους όρους παροχής υπηρεσιών, την πολιτική απορρήτου και την πολιτική cookie
Δεν είναι η απάντηση που ψάχνετε; Περιήγηση άλλες ερωτήσεις με tag riscv ή να ζητήσετε τη δική σας ερώτηση.